% This is "sig-alternate.tex" V2.0 May 2012
% This file should be compiled with V2.5 of "sig-alternate.cls" May 2012
%
% This example file demonstrates the use of the 'sig-alternate.cls'
% V2.5 LaTeX2e document class file. It is for those submitting
% articles to ACM Conference Proceedings WHO DO NOT WISH TO
% STRICTLY ADHERE TO THE SIGS (PUBS-BOARD-ENDORSED) STYLE.
% The 'sig-alternate.cls' file will produce a similar-looking,
% albeit, 'tighter' paper resulting in, invariably, fewer pages.
%
% ----------------------------------------------------------------------------------------------------------------
% This .tex file (and associated .cls V2.5) produces:
%       1) The Permission Statement
%       2) The Conference (location) Info information
%       3) The Copyright Line with ACM data
%       4) NO page numbers
%
% as against the acm_proc_article-sp.cls file which
% DOES NOT produce 1) thru' 3) above.
%
% Using 'sig-alternate.cls' you have control, however, from within
% the source .tex file, over both the CopyrightYear
% (defaulted to 200X) and the ACM Copyright Data
% (defaulted to X-XXXXX-XX-X/XX/XX).
% e.g.
% \CopyrightYear{2007} will cause 2007 to appear in the copyright line.
% \crdata{0-12345-67-8/90/12} will cause 0-12345-67-8/90/12 to appear in the copyright line.
%
% ---------------------------------------------------------------------------------------------------------------
% This .tex source is an example which *does* use
% the .bib file (from which the .bbl file % is produced).
% REMEMBER HOWEVER: After having produced the .bbl file,
% and prior to final submission, you *NEED* to 'insert'
% your .bbl file into your source .tex file so as to provide
% ONE 'self-contained' source file.
%
% ================= IF YOU HAVE QUESTIONS =======================
% Questions regarding the SIGS styles, SIGS policies and
% procedures, Conferences etc. should be sent to
% Adrienne Griscti (griscti@acm.org)
%
% Technical questions _only_ to
% Gerald Murray (murray@hq.acm.org)
% ===============================================================
%
% For tracking purposes - this is V2.0 - May 2012

\documentclass{sig-alternate}

\usepackage{url}
\usepackage{subfigure,multirow,graphics,graphicx,wrapfig,boxedminipage}
\usepackage{calc}
\usepackage{xspace}
\let\proof\relax 
\let\endproof\relax
\usepackage{amsthm,pifont,stmaryrd}
\usepackage{listings}
\usepackage{color}

\lstdefinelanguage{ADTlanguage}%
  {morekeywords={import,Adt,Sorts,Generators,Operations,Axioms,Variables},
   morecomment=[l];;,%
   morecomment=[s]{(:}{:)},%
   morestring=[b]",%
   morestring=[b]',%
  }[keywords,comments,strings]

\newtheorem{definition}{\textbf{Definition}}
\newtheorem{proposition}{Proposition}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\newtheorem{ex}{\textbf{Example}}
  
\newcommand{\setlistings}[2]{
  		\lstset{language=#1, basicstyle=\scriptsize, tabsize=2}  
		\lstset{rulecolor=\color{black}}
		\lstset{linewidth=\textwidth}
		\lstset{commentstyle=\textit, stringstyle=\upshape,showspaces=false}
		\lstset{showstringspaces=false}
		\lstset{frame=single,frameround=ffff}
		\lstset{numbers=left, numberstyle=\tiny, stepnumber=2, numbersep=5pt, firstnumber=#2}
		\lstset{breaklines=true}
		\lstset{escapeinside={(*@}{@*)}}
		} 
		
\newcommand{\setDefListings}[2]{ 
  		\lstset{language=#1, basicstyle=\scriptsize, tabsize=2}  
		\lstset{rulecolor=\color{black}}
		\lstset{linewidth=\textwidth} 
		\lstset{commentstyle=\textit, stringstyle=\upshape,showspaces=false}
		\lstset{showstringspaces=false}
		\lstset{frame=single,frameround=ffff}
		\lstset{breaklines=true}
		\lstset{escapeinside={(*@}{@*)}}
		} 
		
\setcounter{tocdepth}{3}
%\usepackage[final,pdftex]{graphicx}
        %\pdfcompresslevel=9
        %\DeclareGraphicsExtensions{.png}
\usepackage{epsfig}


\usepackage{color}
\newcommand{\chunk}[2]{%
	\fcolorbox{black}{yellow}{\bfseries\sffamily\scriptsize#1}%
   {$\blacktriangleright$#2$\blacktriangleleft$}%
}
\newcommand{\eugene}[1]{\chunk{Eugene}{\textbf{\textcolor{blue}{\textsl{#1}}}}}
\newcommand{\moussa}[1]{\chunk{Moussa}{\textbf{\textcolor{blue}{\textsl{#1}}}}}
\newcommand{\levi}[1]{\chunk{Levi}{\textbf{\textcolor{red}{\textsl{#1}}}}}
\newcommand{\jackin}[1]{\chunk{Jackin}{\textbf{\textcolor{green}{\textsl{#1}}}}}

%\documentstyle[times,art10,twocolumn,latex8]{article}

%------------------------------------------------------------------------- 
% take the % away on next line to produce the final camera-ready version 
\pagestyle{empty}

%------------------------------------------------------------------------- 

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

% Standard shortcuts
\newcommand{\eg}{\emph{e.g.,~}}							% exempli gratia (for the sake of example)
\newcommand{\ie}{\emph{i.e.,~}}							% id est (that is)
\newcommand{\etal}{~\emph{et al.}}					% et alia (and others)
\newcommand{\Fig}[1][Fig.]{#1~}  						% choose Fig. or Figure, depending on the style
\newcommand{\Tab}[1][Tab.]{#1~} 
\newcommand{\Sect}[1][Section]{#1~}					% section name always with a capital S
\newcommand{\Model}[1]{\textsf{#1}}					% name of any modeling artifact (e.g., formalism, model element, rule, ...)
\newcommand{\Code}[1]{\texttt{\small{#1}}}	% inline code
\providecommand{\e}[1]{\ensuremath{\times 10^{#1}}}	% scientific notation: x.10^y

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\newcommand{\Alpina}{AlPiNA\xspace}
\newcommand{\tickYes}{\checkmark}
\newcommand{\tickNo}{\hspace{1pt}\ding{55}}
\newcommand{\FS}{\ensuremath{\mathtt{FS}}}
\newcommand{\FSS}{\ensuremath{\mathtt{FS}_{\mathsf{s}}}}
\newcommand{\FSC}{\ensuremath{\mathtt{FS}_{\mathsf{c}}}}
\DeclareMathOperator{\eqqdef}{\stackrel{\triangle}{=}}
\newcommand*{\QEDB}{\hfill{}\ensuremath{\blacksquare}}%
\newcommand*{\QEDD}{\hfill{}\ensuremath{\square}}%


\begin{document}
%
% --- Author Metadata here ---
\conferenceinfo{ME}{'12 Innsbruck, Austria}
%\CopyrightYear{2007} % Allows default copyright year (20XX) to be over-ridden - IF NEED BE.
%\crdata{0-12345-67-8/90/01}  % Allows default copyright data (0-89791-88-6/97/05) to be over-ridden - IF NEED BE.
% --- End of Author Metadata ---

\title{Invariant Preservation In Iterative Modeling}
%
% You need the command \numberofauthors to handle the 'placement
% and alignment' of the authors beneath the title.
%
% For aesthetic reasons, we recommend 'three authors at a time'
% i.e. three 'name/affiliation blocks' be placed beneath the title.
%
% NOTE: You are NOT restricted in how many 'rows' of
% "name/affiliations" may appear. We just ask that you restrict
% the number of 'columns' to three.
%
% Because of the available 'opening page real-estate'
% we ask you to refrain from putting more than six authors
% (two rows with three columns) beneath the article title.
% More than six makes the first-page appear very cluttered indeed.
%
% Use the \alignauthor commands to handle the names
% and affiliations for an 'aesthetic maximum' of six authors.
% Add names, affiliations, addresses for
% the seventh etc. author(s) as the argument for the
% \additionalauthors command.
% These 'additional authors' will be output/set for you
% without further effort on your part as the last section in
% the body of your article BEFORE References or any Appendices.

\numberofauthors{5} %  in this sample file, there are a *total*
% of EIGHT authors. SIX appear on the 'first-page' (for formatting
% reasons) and the remaining two appear in the \additionalauthors section.
%
\author{
% You can go ahead and credit any number of authors here,
% e.g. one 'row of three' or two rows (consisting of one row of three
% and a second row of one, two or three).
%
% The command \alignauthor (no curly braces needed) should
% precede each author name, affiliation/snail-mail address and
% e-mail address. Additionally, tag each line of
% affiliation/address with \affaddr, and tag the
% e-mail address with \email.
%
% 1st. author
\alignauthor
Levi L\'ucio\\
	   \affaddr{McGill University}\\ \affaddr{Montreal QC, Canada}\\
       \email{levi@cs.mcgill.ca}       
% 2nd. author
%\titlenote{Levi L\'ucio and Hans Vangheluwe are reapectively totally and
% partially funded the the Canadian NSERC, in the
%	   context of the NECSIS project.}
\alignauthor
Eugene Syriani\\
       \affaddr{University of Alabama}\\
       \affaddr{Tuscaloosa AL, USA}\\
       \email{esyriani@cs.ua.edu}
% 3rd. author
\alignauthor Moussa Amrani\\
	   \affaddr{University of Luxembourg}\\
	   \affaddr{Luxembourg}\\
       \email{Moussa.Amrani@uni.lu}
\and  
%\titlenote{Moussa Amrani and Qin Zhang are partially
%supported by the Luxemburgish Fonds National de la Recherche (Fnr) in the
%context of the Fnr Miter project}
% 4th. author
\alignauthor Qin Zhang\\
	   \affaddr{University of Luxembourg}\\
       \affaddr{Luxembourg}\\
       \email{Qin.Zhang@uni.lu}
% 5th. author
\alignauthor Hans Vangheluwe\\
       \affaddr{McGill University, Canada and}\\
       \affaddr{Antwerp University, Belgium }\\
       \email{hv@cs.mcgill.ca}
}
% There's nothing stopping you putting the seventh, eighth, etc.
% author on the opening page (as the 'third row') but we ask,
% for aesthetic reasons that you place these 'additional authors'
% in the \additional authors block, viz.
% \additionalauthors{Additional authors: John Smith (The Th{\o}rv{\"a}ld Group,
% email: {\texttt{jsmith@affiliation.org}}) and Julius P.~Kumquat
% (The Kumquat Consortium, email: {\texttt{jpkumquat@consortium.net}}).}
% \date{30 July 1999}
% Just remember to make sure that the TOTAL number of authors
% is the number that will appear on the first page PLUS the
% number that will appear in the \additionalauthors section.

\maketitle
\input{Abstract}
% A category with the (minimum) three required fields
\category{D.2.1}{Software Engineering}{Requirements/Specifications}
%A category including the fourth, optional field follows...
\category{D.2.19}{Software Quality}{}

% \terms{Theory}
% 
% \keywords{ACM proceedings, \LaTeX, text tagging}

\input{introduction}
\input{Running}
\input{Preservation}
\input{Evolving}
\input{Discussion-RW}
\input{conclusions}

\begin{small}
\bibliographystyle{abbrv} 
\bibliography{bibliography,ng,es,levi}
\end{small}

\end{document}
